IDM : Vers une aide ? la conception
نویسندگان
چکیده
In the software systems field, we can consider that the generally understood goal of verification is to assess the compliance of a software with respect to the inputs and standards applying to a given phase in the design process, and that the goal of validation is to determine if the requirements are correct and complete, and is performed in the final system assessment phase. Nevertheless, the introduction of formal methods in model based engineering tends to blur the boundary between verification and validation, by allowing validation tasks to be performed early in the process before the system has been fully designed and implemented. In particular, we consider recent work aiming at using constraint satisfaction techniques to perform formal verification and validation tasks at model level. The purpose of this article is twofold. First, we attempt to fit the existing methods and tools in a global design, verification and validation process. Second, we show that in audition to verification and validation, such techniques can be used to automate a part of the design activity itself, by synthesizing optimal and correct by construction models from a specification. MOTS-CLÉS : IDM, méthodes formelles, vérification, validation, synthèse, optimisation, solveurs de contraintes
منابع مشابه
Une aide à la conception de systèmes de production basée sur la simulation et l'analyse de données
متن کامل
Model Transformations from a Data Parallel Formalism towards Synchronous Languages
The increasing complexity of embedded system designs calls for high-level specification formalisms and for automated transformations towards lower-level descriptions. In this report, a metamodel and a transformation chain are defined from a high-level modeling framework, Gaspard, for data-parallel systems towards a formalism of synchronous equations. These equations are translated in synchronou...
متن کاملG-OWL : Vers un langage de modélisation graphique, polymorphique et typé pour la construction d'une ontologie dans la notation OWL
Résumé : Le Web Ontology Language (OWL) standardisé par le W3C a pour objectif d’offrir un langage de conception d’ontologies pour le web sémantique. L’ingénierie d’une ontologie est une activité complexe nécessitant une habilité peu accessible à des experts de contenu. En revanche, pour modéliser du contenu métier, la modélisation graphique semi-formelle est une technique souvent employée pour...
متن کاملL'influence du mysticisme islamique sur l'éducation iranienne
Il faut savoir que le mysticisme a eu toujours de grandes influences sur tout ce qui concerne la vie et la culture iraniennes, surtout sur l’éducation qui est une étape très importante dans la formation de l’avenir de la jeunesse. C’est vrai, le mysticisme est une approche individualiste alors que l’éducation reste une affaire collective et sociale. Comment arrive-t-il, étant une pratique perso...
متن کاملVers une chaîne XAO intégrée pour une conception centrée sur l''homme - Contribution des documents numériques
RÉSUMÉ. Positionné dans un contexte d’ingénierie concourante, cet article présente une chaîne XAO intégrée pour une conception centrée sur l’homme. Ainsi, dans un environnement de conception collaborative, nous montrons, en nous reposant sur de nouvelles méthodes et outils informatiques qui permettent d’intégrer la simulation virtuelle avec mannequins numériques, qu’il est possible de coconcevo...
متن کامل